Рыбалов А. Н. «О генерической NP-полноте проблемы выполнимости булевых схем» // Прикладная дискретная математика 2020. №47 C.101-107
Рыбалов А. Н. «О генерической NP-полноте проблемы выполнимости булевых формул» // Прикладная дискретная математика 2017. №36 C.106-112